$\forall$$a$, $b$:$\mathbb{N}$, $n$:$\mathbb{N}^{+}$. (($a$+($b$ $\ast$ $n$)) rem $n$) = ($a$ rem $n$)